aux_source_directory(. TEST_FUNNY_SRCS)

add_subdirectory(base)
add_subdirectory(config)
add_subdirectory(ds)
add_subdirectory(engine)
add_subdirectory(fa)
add_subdirectory(premise)
add_subdirectory(trans)

add_custom_target(check COMMAND ${CMAKE_CTEST_COMMAND} DEPENDS
        check_base check_config check_ds check_engine check_fa check_premise check_trans)

